nLab smooth isotopy

Contents

Context

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

differentiation, chain rule
differentiable function
infinitesimal space, infinitesimally thickened point, amazing right adjoint

V-manifolds

differentiable manifold, coordinate chart, atlas
smooth manifold, smooth structure, exotic smooth structure
analytic manifold, complex manifold
formal smooth manifold, derived smooth manifold

smooth space

diffeological space, Frölicher space
manifold structure of mapping spaces

Tangency

tangent bundle, frame bundle
- vector field, multivector field, tangent Lie algebroid;
- differential forms, de Rham complex, Dolbeault complex
local diffeomorphism, formally étale morphism
submersion, formally smooth morphism,
immersion, formally unramified morphism,
de Rham space, crystal
infinitesimal disk bundle

The magic algebraic facts

embedding of smooth manifolds into formal duals of R-algebras
smooth Serre-Swan theorem
derivations of smooth functions are vector fields

Theorems

Hadamard lemma
Borel's theorem
Boman's theorem
Whitney extension theorem
Steenrod-Wockel approximation theorem
Whitney embedding theorem
Poincare lemma
Stokes theorem
de Rham theorem
Hochschild-Kostant-Rosenberg theorem
differential cohomology hexagon

Axiomatics

Kock-Lawvere axiom

cohesion

(shape modality $\dashv$ flat modality $\dashv$ sharp modality)

$(\esh \dashv \flat \dashv \sharp )$
dR-shape modality $\dashv$ dR-flat modality

$\esh_{dR} \dashv \flat_{dR}$

infinitesimal cohesion

classical modality

tangent cohesion

differential cohomology diagram

differential cohesion

(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)

$(\Re \dashv \Im \dashv \&)$

graded differential cohesion

fermionic modality $\dashv$ bosonic modality $\dashv$ rheonomy modality

$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$

singular cohesion

\array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{&#233;tale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Models for Smooth Infinitesimal Analysis
- smooth algebra ( $C^\infty$ -ring)
- smooth locus
- Fermat theory
Cahiers topos
smooth ∞-groupoid
formal smooth ∞-groupoid
super formal smooth ∞-groupoid

Lie theory, ∞-Lie theory

Lie algebra, Lie n-algebra, L-∞ algebra
Lie group, Lie 2-group, smooth ∞-group

differential equations, variational calculus

D-geometry, D-module
jet bundle
variational bicomplex, Euler-Lagrange complex
Euler-Lagrange equation, de Donder-Weyl formalism,
phase space

Chern-Weil theory, ∞-Chern-Weil theory

connection on a bundle, connection on an ∞-bundle
differential cohomology
parallel transport, higher parallel transport, fiber integration in differential cohomology
holonomy, higher holonomy
gauge theory, higher gauge theory
Wilson line, Wilson surface

Cartan geometry (super, higher)

Klein geometry, (higher)
G-structure, torsion of a G-structure
Euclidean geometry, hyperbolic geometry, elliptic geometry
(pseudo-)Riemannian geometry
complex geometry
symplectic geometry
conformal geometry

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…

models: topological, simplicial, localic, …

Idea

A smooth isotopy is an isotopy that varies smoothly, hence a isotopy that, as a left homotopy, is a smooth homotopy.

In knot theory, one typically does not want to identify knots $S^1 \to S^3$ by plain isotopy, as that makes all tame knots? be equivalent. A common fix is to use ambient isotopy instead. But one may also use smooth isotopy. (see e.g. Greene 13 or MO discussion here).